1

Signed Systems for Paraconsistent Reasoning

Year:
1998
Language:
english
File:
PDF, 611 KB
english, 1998
2

What is a (non-constructive) non-monotone logical system?

Year:
2000
Language:
english
File:
PDF, 69 KB
english, 2000
7

Optimality Theory as a Family of Cumulative Logics

Year:
2003
Language:
english
File:
PDF, 212 KB
english, 2003
10

Overriding subsuming rules

Year:
2013
Language:
english
File:
PDF, 746 KB
english, 2013
11

Optimality Theory as a Family of Cumulative Logics

Year:
2003
Language:
english
File:
PDF, 2.83 MB
english, 2003